Théorie des Genres Littéraires

From Théorie Des Distributions

II. Differentiation II.2. Examples of differentiation. The case of one variable (n = 1). II.2.3. Pseudofunctions. Hadamard finite part. We calculate the derivative of a function f(x) which is equal to 0 for x < 0 and 1 √ x for x > 0 (not defined for x = 0). This derivative is surely 0 on the interval (−∞, 0) and equal to the function − 1 2 x in the interval (0,∞) because in each of these two op...

Une Théorie des Constructions Inductives

Journal de Théorie des Nombres

On the mean square of the divisor function in short intervals par Aleksandar IVI´C Résumé. On donne des estimations pour la moyenne quadratique de 2X X (∆ k (x + h) − ∆ k (x)) 2 dx, o` u h = h(X) ≫ 1, h = o(x) quand X → ∞ et h se trouve dans un intervalle convenable. Pour k 2 un entier fixé, ∆ k (x) et le terme d'erreur pour la fonction sommatoire de la fonction des diviseurs d k (n), generée p...

la traduction des titres littéraires

cet article s’intéresse aux titres littéraires et aux problèmes de leur traduction.  les stratégies de traduction sont plus nombreuses que ce que l’on croit; mais l’objectif de toute traduction est la restitution du sens. or à travers cette recherche, nous avons tenté de démontrer que la restitution du sens du titre original ne suffit absolument pas. en effet, le travail sur les mots d’un titre...

Une formalisation des faisceaux et des schémas affines en théorie des types avec Coq